Computing Generators of Free Modules over Orders in Group Algebras
نویسندگان
چکیده
Let E be a number field and G be a finite group. Let A be any OE-order of full rank in the group algebra E[G] and X be a (left) A-lattice. We give a necessary and sufficient condition for X to be free of given rank d over A. In the case that the Wedderburn decomposition E[G] ∼= ⊕χMχ is explicitly computable and each Mχ is in fact a matrix ring over a field, this leads to an algorithm that either gives elements α1, . . . , αd ∈ X such that X = Aα1 ⊕ . . .⊕Aαd or determines that no such elements exist. Let L/K be a finite Galois extension of number fields with Galois group G such that E is a subfield of K and put d = [K : E]. The algorithm can be applied to certain Galois modules that arise naturally in this situation. For example, one can take X to be OL, the ring of algebraic integers of L, and A to be the associated order A(E[G];OL) ⊆ E[G]. The application of the algorithm to this special situation is implemented in Magma under certain extra hypotheses when K = E = Q.
منابع مشابه
Computing generators of free modules over orders in group algebras II
Let E be a number field and G a finite group. Let A be any OE-order of full rank in the group algebra E[G] and X a (left) A-lattice. In a previous article, we gave a necessary and sufficient condition for X to be free of given rank d over A. In the case that (i) the Wedderburn decomposition E[G] ∼= ⊕ χ Mχ is explicitly computable and (ii) each Mχ is in fact a matrix ring over a field, this led ...
متن کاملMonomial Irreducible sln-Modules
In this article, we introduce monomial irreducible representations of the special linear Lie algebra $sln$. We will show that this kind of representations have bases for which the action of the Chevalley generators of the Lie algebra on the basis elements can be given by a simple formula.
متن کاملSome Properties of $ ast $-frames in Hilbert Modules Over Pro-C*-algebras
In this paper, by using the sequence of adjointable operators from pro-C*-algebra $ mathcal{A} $ into a Hilbert $ mathcal{A} $-module $ E $. We introduce frames with bounds in pro-C*-algebra $ mathcal{A} $. New frames in Hilbert modules over pro-C*-algebras are called standard $ ast $-frames of multipliers. Meanwhile, we study several useful properties of standard $ ast $-frames in Hilbert modu...
متن کاملFree pre-Lie algebras are free as Lie algebras
We prove that free pre-Lie algebras, when considered as Lie algebras, are free. Working in the category of S-modules, we define a natural filtration on the space of generators. We also relate the symmetric group action on generators with the structure of the anticyclic PreLie operad.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007